Data-Sparse Approximation to Operator-Valued Functions of Elliptic Operator

In previous papers the arithmetic of hierarchical matrices has been described, which allows to compute the inverse, for instance, of finite element stiffness matrices discretising an elliptic operator L. The required computing time is up to logarithmic factors linear in the dimension of the matrix. In particular, this technique can be used for the computation of the discrete analogue of a resolvent (zI − L)−1 , z ∈ C. In the present paper, we consider various operator functions, the operator exponential e−tL, negative fractional powers L−α, the cosine operator function cos(t√L)L−k and, finally, the solution operator of the Lyapunov equation. Using the Dunford-Cauchy representation, we get integrals which can be discretised by a quadrature formula which involves the resolvents (zkI −L)−1 mentioned above. We give error estimates which are partly exponentially, partly polynomially decreasing. AMS Subject Classification: 47A56, 65F30, 15A24, 15A99